- 近义词
- mathematical logic数理逻辑;
- logicn.逻辑(学);思维方式;(做某事的)道理;
- formal logic形式逻辑;
- 双语例句 更多例句
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.
互联网摘选
Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
互联网摘选
- 相关词组
- algebraic logic代数逻辑;
- symbolic assembler[计]符号汇编程序;
- symbolic play象征游戏;
- ad hoc logic专门逻辑;
- biasing logic偏置逻辑;
- Boolean logicn.<数>布尔逻辑;
- fuzzy logic模糊逻辑;
- symbolic concordance符号便览,符号索引程序;
- affective logic情感逻辑;
- contention logic[计] 争用逻辑;
- 今日热词
- 热门搜索
- step v.迈步;踩;n.脚步;步骤;级别;台阶;
- typewriter n.打字机;
- independence n.独立;自主;
- telescope n.望远镜;v.叠缩;精简;
- westwards adv.向西;
- obsolete adj.废弃的;老式的,已过时的;[生]已废退的;
- quality n.质量;特性;素质;优质;adj.优质的;棒极了;内容严肃的(报纸);
- specialist n.专家;专科医生;
- How are you 你好吗;你过得好吗
- unity n.统一体;(艺术等)完整;(文学、戏剧)(情节、时间和地点的)统一性;团结一致;
- snookered v.使陷入困境,使受挫折( snooker的过去式和过去分词 );
- downward adj.下降的;向下的;

